Research Object Management: Opportunities and Challenges Khalid Belhajjame School of Computer Science University of Manchester Manchester, UK

Source URL: users.ox.ac.uk

A NSWERING Q UERIES OVER OWL O NTOLOGIES WITH SPARQL Ilianna Kollia Birte Glimm Ian Horrocks presented by Mike Grove OWL ED 2011

Source URL: webont.org

• Semantic Web
• Resource Description Framework
• Knowledge representation
• School of Computer Science
• University of Manchester
• Knowledge engineering
• RDF Schema
• SPARQL
• Ontology
• Web Ontology Language
• Ian Horrocks

Evaluating Modelling Approaches for Medical Image Annotations Jasmin Opitz, Bijan Parsia, Ulrike Sattler The University of Manchester {opitzj|bparsia|sattler}@cs.manchester.ac.uk

Source URL: www.cs.man.ac.uk

DAML+OIL Technical Detail Ian Horrocks University of Manchester Manchester, UK

Source URL: www.cs.man.ac.uk

Which Kind of Module Should I Extract?? Ulrike Sattler1 , Thomas Schneider1 , and Michael Zakharyaschev2 1 University of Manchester, UK, {sattler,schneider}@cs.man.ac.uk 2

Source URL: ceur-ws.org

• Mathematics
• Group theory
• Parity
• Parity of a permutation
• Permutations
• Model theory
• Elementary class
• Logic

AMULET3 Revealed J. D. Garside, S. B. Furber and S-H Chung Department of Computer Science, The University of Manchester, Oxford Road, Manchester M13 9PL, UK. {jgarside, sfurber, chungsh}@cs.man.ac.uk Abstract

Source URL: apt.cs.manchester.ac.uk

AMULET2e: An Asynchronous Embedded Controller S. B. Furber, J. D. Garside, S. Temple, J. Liu, Department of Computer Science, The University of Manchester, Oxford Road, Manchester M13 9PL, UK. P. Day, N. C. Paver. Cogenc

Source URL: apt.cs.manchester.ac.uk

The design of the control circuit for an asynchronous instruction prefetch unit using signal transition graphs S.-H. Chung and S.B. Furber Department of Computer Science, The University of Manchester, Oxford Road, Manche

Source URL: apt.cs.manchester.ac.uk

PRELIMINARY University of Manchester AMULET2e 32-bit Integrated Asynchronous Microprocessor

Source URL: apt.cs.manchester.ac.uk

Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies Rafael S. Gon¸calves, Bijan Parsia, and Uli Sattler School of Computer Science University of Manchester Manchester, United Kingdom

Source URL: www.rsgoncalves.com